Lambda lifting - PDFSEARCH.IO - Document Search Engine

Lambda lifting
Results: 15

#	Item
11	SHard: a Scheme to Hardware Compiler Xavier Saint-Mleux Marc Feeley Jean-Pierre David Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:16 Subroutines Lambda calculus Control flow Functional programming Data types Closure Inline expansion Scheme Lambda lifting Software engineering Computing Computer programming
12	BRICS Basic Research in Computer Science BRICS RS-97-6 Danvy & Schultz: Lambda Dropping Add to Reading List Source URL: www.brics.dk Language: English - Date: 1997-06-05 09:12:44 Lambda calculus Recursion Lambda lifting Closure Fold Free variables and bound variables Parameter Blocks Software engineering Computing Subroutines
13	SHard: a Scheme to Hardware Compiler Xavier Saint-Mleux Marc Feeley Jean-Pierre David Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:38 Subroutines Lambda calculus Control flow Functional programming Data types Closure Inline expansion Scheme Lambda lifting Software engineering Computing Computer programming
14	SHard: a Scheme to Hardware Compiler Xavier Saint-Mleux Marc Feeley Jean-Pierre David Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Subroutines Lambda calculus Control flow Functional programming Data types Closure Inline expansion Scheme Lambda lifting Software engineering Computing Computer programming
15	BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-09-23 18:42:18 Lambda calculus Subroutines Recursion Theoretical computer science Computability theory Lambda lifting Fold Closure Scheme Software engineering Computing Computer programming